Toward Flexible Control of the Temporal Mapping from Concurrent Program Events to Animations
نویسندگان
چکیده
As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even greater importance. We believe that visualization can help in the process. In this paper we discuss heretofore unaddressed issues in the visualization of concurrent programs, and present the Animation Choreographer. The Animation Choreographer allows users to view, manipulate, and explore the set of alternate feasible orderings of the program execution under study, both through the Choreographer interface and in the context of the selected visualizations, thus providing the user with a variety of temporal perspectives on the computation.
منابع مشابه
نقش حروف ربط زمان دار در تعیین رابطۀ زمانی بین رویدادهای فعلی در پیکرۀ متون زبان فارسی معاصر
This paper involves in prediction of temporal relation between tensed-verb events on the basis of conjunctions in texts. For this purpose, tensed verb event data were extracted from Contemporary Persian Corpus and were examined carefully. The temporal relations between events were identified. After analyzing data on the basis of temporal relation according to Bird’s and Allen’s categorization, ...
متن کاملSpatio-temporal agent based simulation of COVID-19 disease and investigating the effect of vaccination (case study: Urmia)
Proper management of epidemic diseases such as Covid-19 is very important because of its effects on the economy, culture and society of nations. By applying various control strategies such as closing schools, restricting night traffic and mass vaccination program, the spread of this disease has been somewhat controlled but not completely stopped. The main goal of this research is to provide a f...
متن کاملOptimal Power Flow in the Smart Grid Using Direct Load Control Program
This paper proposes an Optimal Power Flow (OPF) algorithm by Direct Load Control (DLC) programs to optimize the operational cost of smart grids considering various scenarios based on different constraints. The cost function includes active power production cost of available power sources and a novel flexible load curtailment cost associated with DLC programs. The load curtailment cost is based ...
متن کاملFlexible Interval Planning in Concurrent Temporal Golog
In this paper we present an approach to flexible planning and scheduling based on a suitable mapping of the Constraint Based Interval Planning paradigm [7, 2] into the Situation Calculus. We show how this representation is particular suitable for executive control processes, and illustrate this with an example.
متن کاملNets, logic and concurrent object-oriented programming
This paper introduces a temporal logic based on precedence constraints among events which captures net semantics, i.e. a particular net can be mapped into a semantic-equivalent formula in the logic. Tempo, a declarative concurrent programming language, is based on such logic and has a procedural interpretation which allows speciications to be executed as concurrent programs. Thus, the execution...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994